A double completion for an arbitrary T0-quasi-metric space
نویسندگان
چکیده
We present a conjugate invariant method for completing any T0-quasi-metric space. The completion is built as an extension of the bicompletion of the original space. For balanced T0-quasi-metric spaces our completion yields up to isometry the completion due to Doitchinov. The question which uniformly continuous maps between T0-quasimetric spaces can be extended to the constructed completions leads us to introduce and investigate a new class of maps, which we call balanced maps.
منابع مشابه
On The Bicompletion of Intuitionistic Fuzzy Quasi-Metric Spaces
Based on previous results that study the completion of fuzzy metric spaces, we show that every intuitionistic fuzzy quasi-metric space, using the notion of fuzzy metric space in the sense of Kramosil and Michalek to obtain a generalization to the quasi-metric setting, has a bicompletion which is unique up to isometry.
متن کاملEndpoints in T 0 - quasi - metric spaces
In his well-known paper dealing with the construction of the injective hull of a metric space Isbell introduced the concept of an endpoint of a (compact) metric space. In the present article we introduce similarly the notion of an endpoint in a (joincompact) T0-quasi-metric space. It turns out that in a (joincompact) T0-quasi-metric space there is a dual concept which we shall call a startpoint...
متن کاملExtendible Spaces
The domain theoretic notion of lifting allows one to extend a partial order in a trivial way by a minimum. In the context of Quantitative Domain Theory (e.g. [BvBR98] and [FK93]) partial orders are represented as quasi-metric spaces. For such spaces, the notion of the extension by an extremal element turns out to be non trivial. To some extent motivated by these considerations, we characterize ...
متن کاملCauchy filters and strong completeness of quasi-uniform spaces
We introduce and study the notions of a strongly completable and of a strongly complete quasi-uniform space. A quasi-uniform space (X,U) is said to be strongly complete if every Cauchy filter (in the sense of Sieber and Pervin) clusters in the uniform space (X,U ∨ U−1). An interesting motivation for the study of this notion of completeness is the fact, proved here, that the quasi-uniformity ind...
متن کاملThe bicompletion of fuzzy quasi-metric spaces
Extending the well-known result that every fuzzy metric space, in the sense of Kramosil and Michalek, has a completion which is unique up to isometry, we show that every KM-fuzzy quasi-metric space has a bicompletion which is unique up to isometry, and deduce that for each KM-fuzzy quasi-metric space, the completion of its induced fuzzy metric space coincides with the fuzzy metric space induced...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Program.
دوره 76 شماره
صفحات -
تاریخ انتشار 2008